m{-}sys{-}compatible\{i:l\}($A$; $B$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:Id. ma{-}compat\{i:l\}(($A$($i$)); ($B$($i$)))